\section{Related Work}
\label{subsec:relate}
In this section, we describe two similar and related work using aspects. They
are similar in that they achieve only one part of the picture but not the other.

LoopAJ\cite{Harbulot:2006:JPL:1119655.1119666} is an extension of Aspect Benchmark Compiler, used for detecting
loop joinpoints such as \textit{for(..)}, \textit{while(..)} and
\textit{do..while(..)}. However, it is only used for detecting loop and not
infinite loop. In detecting infinite loop, we would still require other
techniques that was not present in LoopAJ.

RacerAJ\cite{Bodden:2008:RER:1390630.1390650} is another extension of Aspect Benchmark Compiler. It is used to
detect data races among concurrent programs. However, it does not detect any deadlock
issues. In detecting deadlocks, we would also require external techniques that
was not present in RacerAJ.
